$\forall$$T$:Type, $L_{1}$,$L_{2}$:($T$ List). ($L_{1}$ = $L_{2}$) $\Rightarrow$ sublist($T$; $L_{1}$; $L_{2}$)